if G is a finite group and H is any subgroup of G then o(H) divides o(G)